Train protection systems - PDFSEARCH.IO - Document Search Engine

Train protection systems
Results: 404

#	Item
71	LC Paper No. CB[removed]) Legislative Council Panel on Transport Subcommittee on matters relating to railways Non-stopping of an East Rail train Purpose Add to Reading List Source URL: www.legco.gov.hk Language: English - Date: 2005-10-19 23:03:08 Transport Kowloon–Canton Railway Corporation East Rail Line KCRC Kowloon–Canton Railway Automatic train operation Automatic Train Protection Emergency brake East Rail Line Metro Cammell EMU Land transport Rail transport Train protection systems
72	11064v_41 RRL rail technology graphic_2a Add to Reading List Source URL: www.regionalraillink.vic.gov.au Language: English - Date: 2014-08-21 02:04:40 Myki Railway signal Train protection systems Transport Railway signalling Public transport in Melbourne
73	DOC Document Add to Reading List Source URL: www.dtpli.vic.gov.au Language: English - Date: 2014-10-04 12:08:14 Rail transport Train protection systems Public transport in Melbourne Metrol Signal passed at danger Train Protection & Warning System Railway signal Train stop Railways in Melbourne Transport Railway signalling Land transport
74	CB[removed]Final Report of the Investigation into the incident that occurred on 5 September 2002 at North Point Station of the Tseung Kwan O Line Add to Reading List Source URL: www.legco.gov.hk Language: English - Date: 2004-03-15 06:38:00 Tseung Kwan O Emergency brake Station MTR Tseung Kwan O Line Hong Kong Rail transport Train protection systems
75	Contents 1 Executive Summary .........................................................................................................................................2 2 Add to Reading List Source URL: investment.infrastructure.gov.au Language: English - Date: 2009-12-17 06:25:03 Train protection systems Trains Railroad engineer Locomotive Electric locomotive Train Transport Land transport Rail transport
76	Journal of the Operational Research Society[removed], 606–613 r 2004 Operational Research Society Ltd. All rights reserved[removed] $30.00 www.palgrave-journals.com/jors Evaluating train protection systems Add to Reading List Source URL: researchrepository.napier.ac.uk Language: English - Date: 2011-01-11 23:47:20 Risk management Actuarial science Welfare economics Financial economics Train protection systems Value of life Valuation Automatic Train Protection Reliability engineering Risk Safety Ethics
77	COMTRAC (COMputer-aided TRAffic Control) COMTRAC is a control system that allows around-the-clock status monitoring of all Shinkansen trains currently in operation. CIC Shinkansen Add to Reading List Source URL: english.jr-central.co.jp Language: English - Date: 2010-03-28 22:39:47 Railway signalling High-speed rail in Japan Shinkansen Train protection systems Centralized traffic control High-speed rail Automatic Train Control Land transport Transport Rail transport
78	European Train Control System: A Case Study in Formal Verification Andr´e Platzer1 1 Carnegie 2 University Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:07:21 Applied mathematics Differential equations European Rail Traffic Management System European Train Control System Mathematics Structure Formal verification Hybrid system Verification Systems theory Train protection systems Formal methods
79	AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB/TR 14 AVACS Editors: Board of SFB/TR 14 AVACS Add to Reading List Source URL: www.avacs.org Language: English - Date: 2011-01-07 05:03:40 European Rail Traffic Management System Logic in computer science Applied mathematics European Train Control System Predicate logic Formal methods First-order logic Formal verification Control theory Train protection systems Logic Mathematical logic
80	European Train Control System: A Case Study in Formal Verification Andr´e Platzer1 1 Carnegie 2 University Add to Reading List Source URL: www.symbolaris.com Language: English - Date: 2014-08-04 10:07:21 Applied mathematics Differential equations European Rail Traffic Management System European Train Control System Mathematics Structure Formal verification Hybrid system Verification Systems theory Train protection systems Formal methods